Almost k-Wise Independence and Hard Boolean Functions

Andreev et al gave constructions of Boolean functions computable by polynomial size circuits with large lower bounds for read once branching program b p s a function in P with the lower bound n polylog n a function in quasipolynomial time with the lower bound n O log n and a function in LINSPACE with the lower bound n log n O We point out alternative much simpler constructions of such Boolean functions by applying the idea of almost k wise indepen dence more directly without the use of discrepancy set generators for large a ne subspaces our constructions are obtained by derandomizing the probabilistic proofs of existence of the corresponding combinatorial objects The simplicity of our new constructions also allows us to observe that there exists a Boolean function in AC computable by a depth polynomial size circuit over the basis f g with the optimal lower bound n log n O for b p s